- completely regular sequent
- вполне регулярная секвенция
English-Russian scientific dictionary. 2008.
completely regular sequent
Смотреть что такое "completely regular sequent" в других словарях:
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Magical Girl Lyrical Nanoha terminology — Articleissues cleanup = January 2008 copyedit = January 2008 in universe = January 2008 in universe cat = OR = January 2008 citecheck = January 2008This is a glossary of terms from the anime and manga series Magical Girl Lyrical Nanoha , and its… … Wikipedia
Computers and Information Systems — ▪ 2009 Introduction Smartphone: The New Computer. The market for the smartphone in reality a handheld computer for Web browsing, e mail, music, and video that was integrated with a cellular telephone continued to grow in 2008. According to… … Universalium
NS320xx — The 320xx or NS32000 was a series of microprocessors from National Semiconductor ( NS , Natsemi ). They were likely the first 32 bit general purpose microprocessors on the market, but due to a number of factors never managed to become a major… … Wikipedia
NUTS (talker) — NUTS Developer(s) Neil Boltar Robertson Initial release 1993 (1993) Stable release 4 / March 2003 (2003 03) … Wikipedia
Experience point — Level up redirects here. For the BBC television program, see Level Up. An experience point (often abbreviated to Exp or XP) is a unit of measurement used in many role playing games (RPGs) and role playing video games to quantify a player… … Wikipedia
Cybersex — An Internet user engaged in cybersex, using a webcam. Cybersex, also called computer sex, Internet sex, netsex, mudsex, TinySex and, colloquially, cybering, is a virtual sex encounter in which two or more persons connected remotely via computer… … Wikipedia
